Properties of superconductor–Luttinger-liquid hybrid systems

Properties of Hybrid Systems

Investigation of Volumetric and Acoustic Properties of Ionic Liquid + Amino Acid + Water Systems at Different Temperatures

This paper reports density and speed of sound data for solutions of the ionic liquids (ILs) [C4mim]Cl and [C4mim][CF3SO3] in aqueous solution of 0.05 w/w amino acids of alanine, serine and proline at T = (288.15, 298.15, 308.15 and 318.15) K. From the experimental data measured, the apparent molar volume (Vϕ), isentropic compressibility ( ), and apparent molar isentropic compression ( ) have be...

Discotic liquid crystal-nanoparticle hybrid systems

Discotic liquid crystals (DLCs) are nanomaterials with sizes ranging from 2 to 6 nm, and they are emerging as one-dimensional organic semiconducting materials. Recently, hybridization of these materials with various metallic and semiconducting nanoparticles (NPs) to alter and improve their properties has been realized. This article provides an overview of the developments in the field of newly ...

Dynamical properties of hybrid systems simulators

This paper analyzes the dynamical properties of a class of hybrid systems simulators. A hybrid system is a dynamical system with a state that can both flow and jump. Its simulator attempts to generate its solutions approximately. The paper presents mild regularity conditions on the hybrid system and its simulator to guarantee that simulated solutions are close to actual solutions on compact (hy...

Prooving Safety Properties of Hybrid Systems

We propose a methodology for the speciication, veriication, and design of hybrid systems. The methodology consists of the computational model of Concrete Phase Transition Systems (cptss), the speciication language of Hybrid Temporal Logic (htl), the graphical system description language of Hybrid Automata, and a proof system for verifying that hybrid automata satisfy their HTL speciications. Th...